Nuprl Definition : ecl-machine3
11,40
postcript
pdf
ecl-machine3(
ds
;
da
;
x
;
T
;
ks
;
a
;
snd
)
== Rall(remove-repeats(idlnk-deq; msg-spec-links(
snd
));
== Rall(
l
.R-lnk-tags(fpf-join(id-deq;
ds
; fpf-single(
x
;
T
));
== Rall(
l
.R-lnk-tags(
da
;
== Rall(
l
.R-lnk-tags(
l
;
== Rall(
l
.R-lnk-tags(
ecl-tags(
l
;
snd
);
== Rall(
l
.R-lnk-tags(
ks
;
== Rall(
l
.R-lnk-tags(
ecl-m3(
a
;
snd
;
x
;
l
)))
latex
Definitions
Rall(
L
;
x
.
R
(
x
))
,
remove-repeats(
eq
;
L
)
,
idlnk-deq
,
msg-spec-links(
snd
)
,
R-lnk-tags(
ds
;
da
;
l
;
tgs
;
ks
;
g
)
,
fpf-join(
eq
;
f
;
g
)
,
id-deq
,
fpf-single(
x
;
v
)
,
ecl-tags(
l
;
snd
)
,
ecl-m3(
a
;
snd
;
x
;
l
)
FDL editor aliases
ecl-machine3
origin